type T = S<'static>;
